classifying topos造句

例句与造句

1. They include examples drawing on homotopy theory ( classifying toposes ).
2. Classifying spaces are examples of a classifying topos.
3. The SierpiD
   ski space has important relations to the theory of computation and semantics, because it is the classifying topos for open sets in the Scott topology.
4. It is also possible to encode an algebraic theory, such as the theory of groups, as a topos, in the form of a classifying topos.
5. Generalizations include those for classifying foliations, and the classifying toposes for logical theories of the predicate calculus in intuitionistic logic that take the place of a'space of models '.
6. It's difficult to find classifying topos in a sentence. 用classifying topos造句挺难的
7. A particularly notable example of this is the Scott topology for partially ordered sets, in which the Sierpinski space becomes the classifying topos for open sets when the characteristic function preserves directed joins.